An appraisal of the use of meat-juice serology monitoring data for estimating prevalence of cecal salmonella carriage of pigs at slaughter by means of herd-level and animal-level simulation