Spherical-aberration-free observation of TEM images by defocus-modulation image processing