电气自动化在煤矿电气工程中的运用