What is the average lifespan of a house mouse