technical specs of centralized gas monitoring equipment for coal mining