the function of a crusher in mining