Semen analysis after vasectomy: when and how many?