最先为石油命名的是宋代科学家（）。