Sperm transport through vas deferens: review of hypotheses and suggestions for a quantitative model.