A Tractable Coverage Analysis in Dynamic Downlink Cellular Networks