Mavis Batey, the cryptanalyst girl