Analytical computation of completion time distributions of short-lived TCP connections