On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics