Analytical Modeling of Heterogeneous Cellular Networks