Modelling biocontrol of Varroa destructor using a benign haplotype as a competitive antagonist