Stochastic Geometry Modeling of Cellular Networks: A New Definition of Coverage and its Application to Energy Efficiency Optimization.