Immersion objective lenses in electron optics