Hong Kong bourse posts record first-half earnings on IPO, trading boom