Application of Genome Reduction, Next Generation Sequencing, and KASPar Genotyping in Development, Characterization, and Linkage Mapping of Single Nucleotide Polymorphisms in the Grain Amaranths and Quinoa