Shell Deer Park, Texas, refinery shuts gasoline-producing FCC after fire