Tenant Mixture and Its Heterogeneity in the Korean Office Building