An analysis of the 1978–1980 decline in gasoline consumption in the United States