China’s tech giants are “optimizing” people as the economy slows