请问现在已经到了2020年了，10家国际领先的大数据核心龙头企业有那十家？这个目标实现了没有？