Was the Russian revolution a proletarian revolution?