Acoustically Aided Inertial Navigation: A Real World Experience on the Semi-Submersible Drilling Rig Petrobras XXIII