How a Carbon Tax Would Cut Emissions from Shipping and Aviation