mining ore used ball griding mills