Effective vertical diffusion by atmospheric gravity waves