Effectiveness of an intervention for Aedes aegypti control scaled-up under an inter-sectoral approach in a Colombian city hyper-endemic for dengue virus.