Tencent’s game revenue increased by 12.6% in Q3, and the group added 3,514 employees in a year