Monotonicity implies linearity: characterizations of convex combinations of solutions to cooperative games.