Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents