Various geographic coordinate formats, and converters between them