老北京的哈德门为什么叫哈德门?