Third-Best Carbon Taxation: Trading Off Emission Cuts, Equity, and Efficiency