市值上万亿的公司有多少