Simulation of alternatives for the Dutch Johne's disease certification-and-monitoring program.