process of a rock crusher in a mine