国际上深海固体矿产资源开采技术在20世纪80年代进入低潮