Computational-Workload Based Binarization and Partition of Qualitative Markov Trees for Belief Combination