An axiomatic characterization of probabilistic rough sets