RadioAstron orbit determination and evaluation of its results using correlation of space-VLBI observations — arXiv2