Text this: Efficient query processing in geographic information systems.