What the EU’s new border tax could mean for carbon markets