What is the mean free time