Elon Musk is formally stepping down from his role in the Trump administration after just five months