petroleum history