Verification of Arabidopsis stock collections using SNPmatch, a tool for genotyping high-plexed samples