Stochastic Geometric Analysis of User Mobility in Heterogeneous Wireless Networks | Synapse