mixed integer linear programming python example