Efficiency losses from overlapping regulation of EU carbon emissions