Mathematica linear programming