Ex-Thomson Reuters exec to lead NYSE Euronext's IT services