Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks