Is there a Role for Domestic Energy Taxes under Emission Trading