Spectra, Complex Oriented Cohomology Theories, and Formal Group Laws