How Red Hat became the tip of the spear for IBM's rejuvenation strategy