can a ball mill be mining to pulverize ore