difference mining and ball mill