A tool to convert GPS coordinates recorded in degrees and decimal minutes into decimal degrees