Mixed Integer Linear Programming Formulation Techniques (SIAM review, 2015)