European Energy Exchange and Eurex to co-operate in carbon trading