Ownership of companies for EDBI Pte Ltd.