Surveying a subsea lava flow using the Autonomous Benthic Explorer (ABE)