Definição de população alvo para vacina contra dengue no Brasil: contribuições da modelagem matemática. Documento