An agent-based model for high-density urban redevelopment under varied market and planning contexts