Global warming and gas prices