煤矿用80开关的工作原理介绍