IBM acquires Red Hat