A measurement method based on Kalman filtering for ultrasonic time-of-flight estimation