煤矿安全生产中的真空开关应用