How I used AI to calculate China’s real population