深圳经济总量相当于哪个国家