A robust, waterproof float switch for detecting water intrusion into the elevator pit