深海采矿技术20世纪80年代进入低潮