Development impact evaluation initiative : Eritrea : evaluating the additive effects of indoor residual spraying (IRS) in a low-transmission setting looking to eliminate malaria