Energy saving potentials and air quality benefits of urban heat island mitigation