When Smart Cities Get Smarter via Machine Learning: An In-Depth Literature Review | Synapse