IBM、レッドハットの買収を完了