Standard deviation of a discrete probability distribution