Stable isotope paleoclimatology of brine inclusions in halite: Modeling and application to Searles Lake, California