Technology, Employment, and Output Per Man in Iron Mining