grinding of heterogeneous mixtures in a high-pressure roll mill