Mathematicians discuss severing ties to the NSA