Who estimated the Russian population was 90 million fewer than it could have been in 1945