煤液化分为哪四类工艺