煤矿安全用电措施有哪些