Take-Two Interactive to buy game developer Zynga for $12.7 billion ...