Mixed integer linear programming model