Origin of halite brine in the Onondaga Trough near Syracuse, New York State, USA: Modeling geochemistry and variable-density flow (Q242097)