世界上的石油是怎么发现的呢