石油来自什么矿产