High-dimensional Knot Theory: Algebraic Surgery in Codimension 2 (Springer Monographs in Mathematics)