Machine Learning for Combinatorial Optimization: a Methodological Tour d'Horizon