How long does a domestic mouse live