Start-up numbers in Hong Kong might be down, but their size and quality is improving