How Elon Musk is trying to push out government employees