An Error Detection and Correction Framework for Connectomics