When did Stephen J. Lee make his estimate about the Russian population?