Polyhedra for lot-sizing with Wagner—Whitin costs