Text this: The Optimal Age of Vaccination Against Dengue with an Age-Dependent Biting Rate with Application to Brazil.