Chinese firms sell record amount of currency options in first half of 2025