Mathematical Modeling of Programmatic Requirements for Yaws Eradication