Eurex US modifies wholesale trading facility