joint probability distribution function formula