Done deal: Elon Musk buys Twitter