Penrose–Banzhaf index