The Russian revolution and the factories of Petrograd, February 1917 to June 1918