CBO Says Taxing-By-The-Mile is an 'Efficient' Way to Raise Revenue