Vertical 15-minute city: Modeling urban density and functional mix with multi-source geospatial data · Study