NYSE Euronext announces 2013 holiday calendar for European markets