Physical Basis, Modeling, And Interpretation Of A New Gas Saturation Measurement For Cased Wells