ball mill for ore hard rock minning