IBM taps Rometty to succeed Palmisano as CEO