国内外智慧矿山技术研究的现状与发展趋势