《煤矿安全规程》规定，煤矿应安装的开关量传感器有（ ）。