IBM names Rometty to replace Palmisano as CEO