Production and subsurface vertical transport of radioxenon resulting from underground nuclear explosions