2017上海的gdp是多少?