Taxation of Emissions of Greenhouse Gases