Presolving in linear programming