The undecidability of the domino problem