Linear optimization in polynomial time door Gademann