Modeling resource allocation strategies for insecticide-treated bed nets to achieve malaria eradication