Simulation of FIB-SEM Images for Segmentation of Porous Microstructures