EIA’s estimates for Texas crude oil production account for incomplete state data