Performance modeling of TCP/AQM with generalized AIMD under intermediate buffer sizes