Design of GPS-aided Dead Reckoning Algorithm of AUV using Extended Kalman Filter (Journal of Ocean Engineering and Technology, 2017)