The tautological ring of the moduli space of curves