Sustainable, healthy cities: protocol of a mixed methods evaluation of a cluster randomized controlled trial for Aedes control in Brazil using a community mobilization approach