Incorporating Cholera Vaccine Herd Protection into Economic Cost-Benefit and Cost-Effectiveness Models