How long do laboratory mice live