矿井大型设备维修工进行操作时应不少于（）人。