Mathematical analysis of a model for the renal concentrating mechanism