What is the lifespan of a domestic mouse