Globally Optimal Closed-Surface Segmentation for Connectomics