石油的命名源于哪部典籍