Aberration-corrected electron microscopy