NYSE Euronext names Peter Leukert as Global CIO