Mobility modelling and channel holding time distribution in cellular mobile communication systems