A deep-sea observatory experiment using acoustic extensometers:precise horizontal distance measurements across a mid-ocean ridge