SegmentedForests: a labelled dataset of terrestrial LiDAR point clouds for semantic segmentation of forests