Uncrewed deep-sea robots will help map the world's oceans