number of Russian troops in eastern Ukraine