Relation algebras in spatial reasoning (invited paper)