Multi-User Channels With Large-Scale Antenna Arrays in a Subway Environment: Characterization and Modeling