Modeling the Stationary Behavior of TCP Reno Connections