Vernacular neighbourhoods as models for socially-sustainable vertical cities: A computational approach