Model and solve mixed integer linear programs
