Elon Musk is leaving the Trump administration after leading effort to slash federal government