BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks