The Three Phases of MIP Solving