Harsco Corporation announces name change to Enviri Corporation