Superconducting lenses in electron microscopy