Title: Output, input, and productivity change in U.S. petroleum development, 1939-1968