Deep-sea vehicles