What is a probability distribution?