On the logical strength of Nash-Williams' theorem on transfinite sequences