The propagation of gravity currents in a circular cross-section channel: experiments and theory