The Market for Tradable GHG Permits under the Kyoto Protocol: A Survey of Model Studies