Mobility modelling and trajectory prediction for cellular networks with mobile base stations