These little robots could help find old explosives at sea