Elon Musk is leaving the Trump administration