煤矿高压防爆开关漏电保护的研究