Carbon Taxes, Trade, and Border Tax Adjustments