Modeling steady-state and transient behaviors of user mobility: : formulation, analysis, and application