Gröbner bases of lattices, corner polyhedra, and integer programming.