მათემატიკოსი და ლოგიკოსი ალან ტიურინგი, მეორე მსოფლიო ომის დროს ცდილობს გაშიფროს გერმანელების