现代煤矿机械设备电气自动化技术运用