Evaluation of post-mortem diagnostic tests' sensitivity and specificity for bovine tuberculosis using Bayesian latent class analysis.