coal liquefaction is the process of grinding coal before use