George R. R. Martin on how he comes up with his characters' names