What is a modern reference book to understand the relation between modular forms and elliptic curves after the proof of the Taniyama–Shimura theorem?