lp model formulation with examples