Statistics for Potential Future Exposure in the Presence of Initial Margin