海里怎么取石油 石油是从海里挖出来的吗?