ligation of fallopian tube