Two-by-Two Substitution Systems and the Undecidability of the Domino Problem