Handbook on Modelling for Discrete Optimization by