The role of GPR techniques in determining ice cave properties: Peña Castil ice cave, Picos de Europa | Publicación