Ocean-going robots that could revolutionize fishing, drilling, and science