玄武湖古城墙有多长