The Clean-Development Mechanism, stochastic permit prices and energy investments