Bucket elimination: A unifying framework for probabilistic inference