Housing development and the smart city: A case study of Tehran, Iran | Synapse