What the EU’s Carbon Border Tax Means for Global Trade