Elon Musk takes 9% stake in Twitter