Minor fix: definition of submodular in Sec 2