IBM buys Linux giant Red Hat