Aumann–Shapley value