crushing and washing of coal