On Scalable Modeling of TCP Congestion Control Mechanism for Large-Scale IP Networks