The Per Mileage Highway Tax is a Backdoor Carbon Tax