Power indices of simple games and vector-weighted majority games by means of binary decision diagrams