Applied Integer Programming