Zynga CEO Mark Pincus lets go to make room for Microsoft executive