mining ore used lime ball mills