Twitter's 4,000-character tweets are coming, says Elon Musk