Optimization-Based Artifact Correction for Electron Microscopy Image Stacks...