高密度电阻率法在探测岩石溶洞中的应用