Analytical Bayesian approach for the design of surveillance and control programs to assess pest-eradication success.