Sequent based theorem provers for Intuitionistic Propositional Logic