How long do lab mice live