Internet Congestion Control: Modeling and Stability Analysis