General Equilibrium, Overlapping Generations Models, and Optimal Growth Theory