What the Gas Tax Holiday Should Teach Us