Terminating Calculi for Propositional Dummett Logic with Subformula Property