NBC News: Elon Musk officially leaves the White House