煤矿供电的三大保护措施包括