Connecting an HC-SR04 Ultrasonic Sensor to a Raspberry Pi