Zaslat SMS: Submodular functions and optimization