Merging Uncertain Knowledge Bases in a Possibilistic Logic Framework