how does a old rock or coal crusher work