Using Polyhedral Geometry for Integer Linear Programming