Education Department workers on leave following Trump DEI order