Describir: Ultrasonic-Based Distance Measurement Through Discrete Extended Kalman Filter