Elon Musk bought 9.2% of Twitter today