Technological leadership and productivity leadership in manufacturing since the industrial revolution