Complexity of linear programming