Mathematical modeling in renal physiology