Cooperative Satellite-Aerial-Terrestrial Systems: A Stochastic Geometry Model