After pushing out hundreds thousands of federal workers, Elon Musk steps down