Range-Based Underwater Vehicle Localization in the Presence of Unknown Ocean Currents: Theory and Experiments | IEEE Journals & Magazine | IEEE Xplore