DVL and positioning