GitHub的成本值多少？微软为什么要收购它