probability distribution definition