Drilling and production were up in Texas in October