how does a rock crusher work in a gravel pit