Analysis of models of single-file diffusion.