joint probability distribution formula