Segundo o texto, historiadores calcularam que o trabalho de Turing em Bletchley Park encurtou a guerra em quanto tempo?