NYSE Euronext global derivatives trading volumes down in July