Mazur's Eisenstein Ideal Theorem