Linear programming problem formulation