Big Data Reduction for a Smart City’s Critical Infrastructural Health Monitoring | Synapse