CBO suggests taxing drivers by the mile