最早提出石油一词的是