Comparison of segmentation algorithms for FIB/SEM tomography of porous polymers: Importance of image contrast for machine learning segmentation