The Russian proletariat and the world war