新加坡2020年gdp总量是多少