How long do house mouse live