The digital analysis of electron-optical systems