Gravar-mail: A Pipeline for Distributed Segmentation of Teravoxel Tomography Datasets