Characterization and Analysis of Human Vertical Mobility in Complex Urban Environments: Interplay With Horizontal Mobility and Implications for High-Density Urban Design