New Development of Multi-Detector Pulsed Neutron Instrument for Quantitative Gas Saturation Monitoring in Air- or Gas- filled Boreholes: Physics, Modelling and Application