When should a tech company refuse to build tools for the government?