File formats for use with Geographic Information Systems