simplex method using big-M