Analytical Computation of Completion Time Distributions of Short-Lived TCP Connections