Paleohydrology on Mars constrained by mass balance and mineralogy of pre-Amazonian sodium chloride lakes