Alibaba-backed Hong Kong AI lab names first batch of start-ups for funding