Trump has voiced support for a pause on the federal gas tax. But how much is it, and what is it usually used for?