SUBMODULAR FUNCTIONS, GRAPHS AND INTEGER POLYHEDRA