Ambient-noise measurements for seismic risk mitigation of school buildings