High-resolution AUV mapping and ROV sampling of mid-ocean ridges