Exploiting Functional Dependence in Bayesian Network Inference