Modeling, analysis, and optimization of multi-tier cellular networks