Elon Musk says he is leaving Trump administration – BBC