Optimal Carbon Taxes with Non-Constant Time Preference