A New Look at BDDs for Pseudo-Boolean Constraints