define joint probability distribution function