Monitoring the world's oceans with robotics