Applications of big data to smart cities | Synapse