The future of the European Emission Trading System and the Clean Development Mechanism in a post-Kyoto world