Raise the Gas Tax: A Revenue-Neutral Way to Treat Our Oil Addiction