Insecticide-treated net coverage in Africa: mapping progress in 2000–07