Verification of Arabidopsis stock collections using SNPmatch - an algorithm for genotyping high-plexed samples