Strong Normalization of Classical Natural Deduction with Disjunction