HKEX first-half profit jumps 24% to HK$10.57 billion as trading booms