Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics