最早提出石油一词并预言它将在未来“必大行于世”的科学家是谁?