Productivity growth in east Asia: a reappraisal