Geographically-aware information retrieval for collections of digitized historical maps