Industrial biography: Iron-workers and tool-makers