The Benjamini—Schramm construction and its applications