A story of technological innovation at an iron and steel rolling mill during the Cultural Revolution