Quotient Sparsification For Submodular Functions Simons Institute