On Formal Aspects of Zooming in Geographic Maps