Live news updates: Singapore Exchange posts record revenues as Hong Kong bourse’s profits tumble