submodular polyhedra