The size-change principle and dependency pairs for termination of term rewriting