Compactness and Its Implications for Qualitative Spatial and Temporal Reasoning