Gains attained in malaria control coverage within settings earmarked for pre-elimination: malaria indicator and prevalence surveys 2012, Eritrea. (December 2015)