A method for evaluating gas saturation with pulsed neutron logging in cased holes