Log canonical models for the moduli space of curves: The first divisorial contraction