Surgical techniques for vasectomy