Efficiency of European emissions markets: Lessons and implications