tubal ligation procedure Synonyms