fCube: An Efficient Prover for Intuitionistic Propositional Logic