Analytical description of high-aperture STED resolution with 0-2π vortex phase modulation