Industrial biography: iron workers and tool makers