male ligation procedure