Total revenue of KFC restaurants in China (in billion USD)