A new robot may help keep ships’ bottoms clean