人造石油是从煤或油页岩中提炼出的（）。