Phase-locked loop techniques applied to ultrasonic Doppler signal processing.