NYC reaches $712.5 million settlement with WTC cleanup workers