山西大同万人坑是如何被发现的？