mean of a probability distribution