What is the mathematical definition of conditional probability?