Consistency checking for Euclidean spatial constraints: a dimension graph approach