Texas exports, boosted by oil, rise 3 times faster than US increase