US judge blocks Trump-era effort to end DEI programs in education