mining ore tondo ball mill