煤矿用防爆电气设备必须有（）。