Global-mean Vertical Tracer Mixing in Planetary Atmospheres. I. Theory and Fast-rotating Planets