mining brief knowledge of ball mill