An overview of solid—liquid separation in coal liquefaction processes