Precision-mapping and statistical validation of quantitative trait loci by machine learning