大型科技公司有数亿用户，市值以万亿人民币计，它们已构成垄断了吗？