Enviar por SMS: Theory of submodular programs