how is a tubal ligation performed