a history of the domino problem