Artificial ground freezing: from applications and case studies to fundamental research