LiDAR point clouds processing for large-scale cave mapping: a case study of the Majko dome in the Domica cave