history of the petroleum industry