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