A parametric distribution for exact post-selection inference with data carving