A shrinking polytope method for linear programming