Eurex US appoints new CEO, acquires BrokerTec exchange