residence times in grinding mills