formulation method of linear programming problems