NBC: Elon Musk officially leaves the White House