What is the sum of the probabilities in a discrete probability distribution?