Elon Musk employed zero-based budgeting after he bought Twitter. Now Donald Trump seems to be using it on the federal government.