Modelling the effects of tick-host interaction on pathogen dynamics: TBE as a case study