Random 3D Mobile UAV Networks: Mobility Modeling and Coverage Probability | Synapse