Technology, Employment, and Output Per Man in Petroleum and Natural Gas Production