Log minimal model program for the moduli space of stable curves: The first flip