What is one method of sterilization of males where under local anesthesia a portion of this duct is removed and two ends are folded over and either staples or sutured shut called?