Extending the Sectoral Coverage of an International Emission Trading Scheme