A Degeneration Formula of Donaldson-Thomas Theory on Calabi-Yau 4-Folds