Border Tax Adjustments and Emissions Trading: The Implications of International Trade Law for Policy Design