Modeling, Analysis, And Real-Time Design Of Many-Antenna Mimo Networks