Modeling tracer counter-permeation through anisotropic zeolite membranes: from mean field theory to single-file diffusion