20170719 business.international-business: IBM misses revenue estimates