The Kjeragbolten boulder on the mountain Kjerag in Rogaland county, Norway