Swarms of tiny robots may one day explore oceans on other worlds