Carbon Tariff Might Be Legal as a VAT