Probability models of the rate of infection with tick-borne encephalitis virus in Ixodes persulcatus ticks.