Text this: Big Data Reduction for a Smart City’s Critical Infrastructural Health Monitoring