How Stanford Built a Humanoid Submarine Robot to Explore a 17th-Century Shipwreck