5.5% up! China's GDP growth in 1st half of 2023 just released