Algebraic K-theory of group rings and topological cyclic homology