Applications of topological cyclic homology to algebraic K-theory