how does a rock mill work