Carbon Taxes and Carbon Emissions Trading