A Tractable Approach to Coverage Analysis in Downlink Satellite Networks