Zaslat SMS: Applied integer programming: modeling and solution