A New Salinity-Independent Cased Hole Water Saturation Method Using Pulsed Neutron Oxygen Activation Logging: Physics, Modeling and Interpretation