A high-level abstract language and model for gis projection