Elon Musk buys 9% stake in Twitter, becoming platform's largest shareholder