probability distribution function definition statistics