山西冰洞的形成过程是什么 山西冰洞是人工的吗