On an analytical model of wake vortex separation of aircraft