Value Elimination: Bayesian Inference via Backtracking Search