[Distinguished Lecture] Eisenstein Ideals and Cuspidal Subgroups of Jacobians of Modular Curves