Zaslat SMS: Handbook on Modelling for Discrete Optimization