Design of proximity-focused electron lenses