What was the new method of linear programming that von Neumann suggested?