SMS dit: Stochastic Geometry Analysis of Space-Air-Ground Networks