How does European carbon market work?