On the Computation and Approximation of Outage Probability in Satellite Networks with Smart Gateway Diversity.