A split-combination approach to merging knowledge bases in possibilistic logic