An axiomatic characterization of a value for games in partition function form