Added more explanation about modules in Background, and figure.
Removed discussion of tile colors from modular multiplication.
Changed t to t' to indicate the number of partial products.