Synthetic fuel production by indirect coal liquefaction