On the computability of conditional probability