Formulating LP Problems