Stable Homotopy Theory, Formal Groups, and Elliptic Curves