House mice in Singapore