coal liquefaction and processing