How long does the average house mouse live