Carving: Scalable Interactive Segmentation of Neural Volume Electron Microscopy Images