Mapping the ocean with marine robots