The Complexity of Reasoning about Spatial Congruence