Solvability of the Halting and Reachability Problem for Binary 2-tag Systems