Modeling, Analysis, and Optimization for Space-Ground Integrated Networks