A theory of molecular diffusion in the intestinal mucus