In what sense and to what degree was the Russian revolution a proletarian revolution?