Numerical correction of lens aberrations in phase-retrieval HRTEM