On topological cyclic homology