A deep-sea observatory experiment using acoustic extensometers: precise horizontal distance measurements across a mid-ocean ridge | IEEE Journals & Magazine | IEEE Xplore