Deep-sea diving with robots