First U.S. crude export leaves Texas