Stochastic techniques for the design of robust and efficient emission trading mechanisms