Raspberry Pi HC-SR04 Ultrasonic Distance Sensor for sump pump monitoring