矿山自动化的发展现状