IBM CEO Arvind Krishna to take over as chairman