Mathematical modeling of whole-body electrolyte homeostasis