为什么阿里、腾讯这样的公司不去研发被卡脖子的工业软件呢?