Modelling the field efficacy of a genetically engineered vaccine against the cattle tick, Boophilus microplus.