Text this: Successful transmission probability analysis for satellite-terrestrial integrated networks based on stochastic geometry