Coverage and system efficiencies of insecticide-treated nets in Africa from 2000 to 2017