hvor lang er den kinesiske mur i kina