ibm compra red hat