China’s 2023 defense budget to rise by 7.2%