A Bayesian inference for the prevalence of Escherichia coli O157 on cattle carcasses at the abattoirs in Nairobi, Kenya