How long to pet mice live