What is the average lifespan of mice