China revises up nominal 2018 GDP, moves step closer to doubling size of economy