Mechanistic Modeling, Design, and Optimization of Low Salinity Waterflooding