Beyond Fluid Models: Modelling TCP Mice in IP Networks