dry grinding or milling of ore