The Undecidability of the Unification Problem for Nilpotent Groups of Class ⩾ 5