20世纪90年代，我国第一台6000米海底作业机器人研制成功，并于1997年在太平洋完成了各项洋底调查任务。这台机器人名叫什么？