Stochastic geometric modelling and simulation of cellular systems for coverage probability characterization.