IREN、AIクラウドサービス強化のためMirantisを6億2,500万ドルで買収