煤的液化产品——人造石油