Intelligent Mining Technology for an Underground Metal Mine Based on Unmanned Equipment. (June 2018)