Texas olieproduktion er 5 doblet siden 2008