Hong Kong stock exchange halts trading after hack attack