北京经济总量相当于哪个国家