An Automatic High-Throughput Single Nucleotide Polymorphism Genotyping Approach Based on Universal Tagged Arrays and Magnetic Nanoparticles