appliion of high pressure grinding rolls in the mining