Xiaomi’s IPO flop: Shares fall in Hong Kong debut