Vertical mixing in atmospheric tracer transport models: error characterization and propagation