Theory of Linear and Integer Programming