Dynamic Energy Models and Carbon Mitigation Policies