L-functions and Arithmetic: Kolyvagin's work for modular elliptic curves