Tencent's quarterly revenue rises 13% on gaming, AI demand