Twitter buys 900 IBM patents, dodging a potential infringement suit