digging in a rock quarry Ƀ grinding mill china