Phase behavior of charged lipid bilayer membranes with added electrolyte