First US equity index derivatives begin trading on Eurex US