Efficient SAT-based Proof Search in Intuitionistic Propositional Logic