Gravar-mail: Reducing dengue fever cases at the lowest budget: a constrained optimization approach applied to Thailand