vesiculectomy