U.S. oil export boom sparks a battle to build Texas ports