Submodular optimization