Total output and the productivity of labour in Soviet industry, 1940-1945