big m method minimization problem