1957年西藏GDP总量