Growth, Renewables, and the Optimal Carbon Tax