Anatomical sizes of the human vas deferens after vasectomy