What we know about the North Korean troops that have been sent to Russia