historia del petróleo