SemGroup restores Texas Gulf Coast terminal operations