The Shapley—Shubik and Banzhaf power indices as probabilities