Zaslat SMS: Probabilistic models in operations research