An analysis of countercurrent exchange with emphasis on renal function