Export of navigation maps to MIF format