3 ms·

How do? Gas usage is roughly proportional to miles drive, so gas tax is already roughly a tax on miles driven.