Text this: Modelling the epidemiology of malaria and spread of HRP2-negative Plasmodium falciparum following the replacement of HRP2-detecting rapid diagnostic tests