mining difference between milling and grinding