Computation of the Completion Time Distribution of Short-Lived TCP Connections