coal liquefication refers to the process of