updated lp formulation, explaining translation constraints, saving work