How many federal workers will be affected by Trump’s return-to-office policy?