Smart City Operations: Modeling Challenges and Opportunities | Synapse