What we know about Trump’s plan to cut the federal workforce — and what’s still up in the air