Intel has chosen veteran insider Brian Krzanich as CEO, disappointing some investors who hoped an outsider would push for changes to help the world’s largest chipmaker catch up in the mobile revolution.