Real product, real factor input, and productivity in Denmark, 1950-1972