三一孵化,腾讯青睐,四年估值10亿美元,它靠什么研发出“自主可控的工业操作系统”