Stochastic modelling of congestion control algorithms