Methods for segmenting cracks in 3d images of concrete: A comparison based on semi-synthetic images. (September 2022)