煤矿自动化系统的现状与发展