principle of ball milling as used for grinding