A Bit-Vector Algebra for Binary Moment Diagrams