China revises up 2023 GDP to $17.73 trillion