Describir: Handbook on Modelling for Discrete Optimization