煤矿自动化现状及发展方向