从20世纪60年代末到90年代中，国际上已研制过的采矿系统，可以归纳为（）。