Boosting combinatorial problem modeling with machine learning