Modeling and experimental analysis of potential Martian brines