Enigma coding machine beats auction estimate in London