Origins of the Texas oil industry