Shapley–Shubik power index