Random probability measures derived from increasing additive processes and their application to Bayesian statistics.