Finite, integral, and finite-dimensional relation algebras: a brief history