The Relevance of Vertical Housing to the Socio-Economic Characteristics of Occupants in Semarang City, Indonesia: Particularly the Proximity of Public Facility Aspects