Machine-learning-based reconstruction of Ming-dynasty defensive corridors in Yuxian | Synapse