Hong Kong short selling turnover reaches $21 billion amid tech pressure