Shapley's Value and Its Axiomatization in Games with Prior Probabilities of Coalition Formation