43岁的微软市值重回全球第一，所有“产业互联网”公司都得向它学习