Composition and function of human cervical mucus