Algebraic theory of non-periodic tilings of the plane by two simple building blocks: a square and a rhombus