how does a rock crusher work