Parallel Dovetailing and its Application to Depth-First Proof-Number Search