How Bill Tutte cracked the WWII Lorenz SZ40 encryption mchine