Economist says federal gas tax holiday will lead to small savings