A mathematical model of the urine concentrating mechanism in the rat renal medulla. I. Formulation and base-case results