5 workers hospitalized after explosion at Texas International Terminals in Galveston