“The use of refined petroleum as fuel, which began in the 1850s, freed hundreds of millions of people from the toil of centuries, gave hundreds of millions more a life of ease and plenty, and, by allowing great cities to feed themselves from every corner of the world, multiplied the population of the earth fivefold.”