Weighted positive binary decision diagrams for exact probabilistic inference