Brine Migration from a Flooded Salt Mine in the Genesee Valley, Livingston County, New York: Geochemical Modeling and Simulation of Variable-Density F