standard deviation of probability distribution