Hong Kong Exchange posts record earnings as trading activity surges