Convective exchange between pore fluid and an overlying reservoir of denser fluid: a post-cumulus process in layered intrusions