definition of a coal crusher