A Symbolic Approach to Explaining Bayesian Network Classifiers