Panama Canal expansion could boost Texas exports