Aumann-Shapley value