Will Texas help the US become the leading oil producer?