Formulating Linear Programming Models