Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents