A comparison of extended Kalman filter, ultrasound time-of-flight measurement models for heating source localization