define probability distribution of a random variable