Augmented state Kalman filtering for AUV navigation