Smart cities with big data: Reference models, challenges, and considerations | Synapse