Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic