If the price of oil rises around the world, what will happen to oil production in Texas? Explain your answer.