Emission trading under the Kyoto Protocol