Improving 3D EM Data Segmentation by Joint Optimization over Boundary Evidence and Biological Priors