The Record High Gas Prices Are Not What You Think They Are