Renal blood flow measured with xenon-133 wash-out technique and with an electromagnetic flowmeter