Application of ground-penetrating radar and high-density electrical sounding for the study of seasonally frozen ground