IBM boosts full-year profit despite lower revenue