铁壳开关是（）开关的一种。