Projection, Lifting and Extended Formulation in Integer and Combinatorial Optimization