definition of thickener in mining